## Factoring examples

from PyM import *

#def factor(f,K): return factor(f*(1>>K))

[_,x] = polynomial_ring(Z_,'x')

# Some fields
F2 = Zn(2)
F3 = Zn(3)
[F4,t] = extension(F2,[1,1,1],'t')
[F8,u] = extension(F2,[1,0,1,1],'u')
[F16,s] = extension(F2,[1,1,1,1,1],'s')

show(factor(x**5-1,F2))
show(factor(x**5-1,F4))
show(factor(x**5-1,F8))
show(factor(x**5-1,F16))
show(factor(x**7-1,F2))
show(factor(x**7-1,F3))
#show(factor(x**23-1,F2))